A direct proof of the confluence of combinatory strong reductionDAVID, René.Theoretical computer science. 2009, Vol 410, Num 42, pp 4204-4215, issn 0304-3975, 12 p.Article

On the asymptotic behaviour of primitive recursive algorithmsDAVID, René.Theoretical computer science. 2001, Vol 266, Num 1-2, pp 159-193, issn 0304-3975Article

A short proof that adding some permutation rules to β preserves SNDAVID, René.Theoretical computer science. 2011, Vol 412, Num 11, pp 1022-1026, issn 0304-3975, 5 p.Article

IRIS : viseur sonore optoélectronique pour archers handicapés visuelsDAVID, René.1993, 44 p.Book

Problèmes de définissabilité en théorie des ensembles = Definissability problems in set theoryDAVID, René.1980, Pag. multThesis

Contribution à l'étude du test aléatoire de mémoires RAM = Study of the random test of RAM memoryFUENTES, Antoine; DAVID, René.1986, 110 pThesis

General rules for prediction of the intensity of micromixing effects on precipitationsDAVID, René.Powder technology. 2001, Vol 121, Num 1, pp 2-8, issn 0032-5910Conference Paper

ETUDE COMPAREE DE TECHNIQUES DE MESURE DES COURANTS EN ESTUAIRES ET DE PRELEVEMENT DES FONDS MARINS: BILAN ET PROSPECTIVE = COMPARITIVE STUDY OF THE TECHNIQUES USED FOR MEASURING CURRENTS IN ESTUARIES AND TAKING SAMPLES FROM THE SEA FLOOR: RESULTS AND FUTURE EVOLUTIONMORENO MORENO DAVID RENE.1982; ; FRA; DA. 1982; 204 P.; 30 CM; BIBL. 12 P.; TH. 3E CYCLE: OCEANOL./BORDEAUX 1/1982/1772Thesis

Contribution au Concept de Micro-Monde pour l'Enseignement Assisté par Ordinateur = Contribution to the Micro-World Concept for Computer Assisted EducationGIBAUD, Olivier; DAVID, René.1993, 402 p.Thesis

Derivation of supersaturation and nucleation flux during precipitation from the mixing pattern of an inert tracer in the same device: case of unmixed feed streamsDAVID, René; FALL, Ahmed; LECOQ, Olivier et al.Chemical engineering science. 2003, Vol 58, Num 13, pp 2883-2891, issn 0009-2509, 9 p.Article

Arithmetical proofs of strong normalization results for the symmetric λμ-calculusDAVID, René; NOUR, Karim.Lecture notes in computer science. 2005, pp 162-178, issn 0302-9743, isbn 3-540-25593-1, 17 p.Conference Paper

Derivation of supersaturation during precipitation from the mixing pattern of an inert tracer in the same device: case of partially premixed feed streamsDAVID, René; FALL, Ahmed; LECOQ, Olivier et al.Chemical engineering science. 2003, Vol 58, Num 22, pp 5079-5085, issn 0009-2509, 7 p.Article

Validation of a model for multiple agglomerationCAMEIRAO, Ana; ESPITALIER, Fabienne; DAVID, René et al.Chemical engineering & technology. 2006, Vol 29, Num 2, pp 171-174, issn 0930-7516, 4 p.Conference Paper

Rapport d'activité de l'AFAST 1984 = AFAST progress report 1984LAFFITTE, Pierre; DAVID, René; VERGNAUD, Joël et al.1985, 19 p.Report

Reachability graph for autonomous continuous Petri netsDAVID, René; ALLA, Hassane.Lecture notes in control and information sciences. 2003, pp 63-70, issn 0170-8643, isbn 3-540-40342-6, 8 p.Conference Paper

Séance sport de pleine nature = Sport of natureFRERE, E; CRISTOL, C; SPRIET, A et al.HANDITEC-SETAA Sport et handicap. 1993, pp 81-113Conference Paper

Rapport d'activité de l'AFAST, 1983 = AFAST progress report, 1983LAFFITTE, Pierre; DAVID, René; VERGNAUD, Joël et al.1985, 17 p.Report

Modelling of multiple-mechanism agglomeration in a crystallization processDAVID, René; PAULAIME, Anne-Margot; ESPITALIER, Fabienne et al.Powder technology. 2003, Vol 130, Num 1-3, pp 338-344, issn 0032-5910, 7 p.Conference Paper

Strong normalization of the typed λ_ws-calculusDAVID, René; GUILLAUME, Bruno.Lecture notes in computer science. 2003, pp 155-168, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Preuves de totalité de fonctions : mesures ordinales, application au système de Boyer-Moore = Termination proofs of functions with ordinal measures. An application to the Boyer-Moore systemMonin, François; David, René.1995, 95 p.Thesis

Un calcul de substitution avec étiquettes = A substitution calculus with labelsGuillaume, Bruno; David, Rene.1999, 96 p.Thesis

CONFLUENCE EN λμ-CALCUL = CONFLUENCE IN λμ-CALCULUSPy, Walter; David, Rene.1998, 117 p.Thesis

Opérateurs de mise en mémoire en lambda-calcul pur et typé = Storage operators in pure and typed lambda-calculusNour, Karim; David, René.1993, 202 p.Thesis

TYPES DE DONNÉES EN LOGIQUE DU SECOND ORDRE = DATA TYPES IN SECOND ORDER LOGICFarkh, Samir; David, Rene.1998, 3 vol., 97 pThesis

Un λ-calcul intuitionniste avec exceptions = An intuitionistic λ-calculus with exceptionsMounier, Georges; David, Rene.1999, 136 p.Thesis